FDL - Nuprl Definition : locl-pre-preserving

Nuprl Definition : locl-pre-preserving

11,40

f is locl-pre-preserving on P == f is

e,e'. e

loc e' -pre-preserving on P

clarification:

locl-pre-preserving(es;f;P) == rel-pre-preserving(es;f;P;

e,e'. es-le(es;e;e'))

Definitions f is R-pre-preserving on P, x.A(x), e loc e'

FDL editor aliases locl-pre-preserving

Definitions	f is R-pre-preserving on P, x.A(x), e loc e'
FDL editor aliases	locl-pre-preserving